﻿2026-09-11T08:36:56.5265940Z ##[group]Run set -euo pipefail
2026-09-11T08:36:56.5266358Z [36;1mset -euo pipefail[0m
2026-09-11T08:36:56.5266708Z [36;1mif [ "push" != "pull_request" ]; then[0m
2026-09-11T08:36:56.5267103Z [36;1m  echo "code=true" >> "$GITHUB_OUTPUT"[0m
2026-09-11T08:36:56.5267471Z [36;1m  exit 0[0m
2026-09-11T08:36:56.5267680Z [36;1mfi[0m
2026-09-11T08:36:56.5267929Z [36;1mfiles=$(git diff --name-only HEAD^1 HEAD)[0m
2026-09-11T08:36:56.5268262Z [36;1mprintf 'changed files:\n%s\n' "$files"[0m
2026-09-11T08:36:56.5268558Z [36;1mcode=false[0m
2026-09-11T08:36:56.5281290Z [36;1mwhile IFS= read -r f; do[0m
2026-09-11T08:36:56.5281624Z [36;1m  [ -z "$f" ] && continue[0m
2026-09-11T08:36:56.5281886Z [36;1m  case "$f" in[0m
2026-09-11T08:36:56.5282137Z [36;1m    docs-site/*) code=true ;;[0m
2026-09-11T08:36:56.5282408Z [36;1m    *.md) ;;[0m
2026-09-11T08:36:56.5282660Z [36;1m    traceable-reqs.toml) ;;[0m
2026-09-11T08:36:56.5282922Z [36;1m    *) code=true ;;[0m
2026-09-11T08:36:56.5283154Z [36;1m  esac[0m
2026-09-11T08:36:56.5283479Z [36;1mdone <<< "$files"[0m
2026-09-11T08:36:56.5283741Z [36;1mecho "code=$code" >> "$GITHUB_OUTPUT"[0m
2026-09-11T08:36:56.5296619Z shell: /usr/bin/bash --noprofile --norc -e -o pipefail {0}
2026-09-11T08:36:56.5296976Z ##[endgroup]
